home *** CD-ROM | disk | FTP | other *** search
Text File | 1990-01-08 | 972 b | 44 lines | [TEXT/Help] |
- ;FAC+COURS=ENNUI
-
-
-
- (eager(c))
-
-
- (r3 c e r2 o n r1 f u r0 a r s i)
-
-
- ((=? (+ c s) (+ i (* 10 r0)))
- (=? (+ r0 (+ a r)) (+ u (* 10 r1)))
- (=? (+ r1 (+ f u)) (+ n (* 10 r2)))
- (=? (+ r2 o) (+ n (* 10 r3)))
- (=? (+ r3 c) e)
- (<>? f a) (<>? f c) (<>? f o) (<>? f u)
- (<>? f r) (<>? f s) (<>? f e) (<>? f n)
- (<>? f i) (<>? a c) (<>? a o) (<>? a u)
- (<>? a r) (<>? a s) (<>? a e) (<>? a n)
- (<>? a i) (<>? c o) (<>? c u) (<>? c r)
- (<>? c s) (<>? c e) (<>? c n) (<>? c i)
- (<>? o u) (<>? o r) (<>? o s) (<>? o e)
- (<>? o n) (<>? o i) (<>? u r) (<>? u s)
- (<>? u e) (<>? u n) (<>? u i) (<>? r s)
- (<>? r e) (<>? r n) (<>? r i) (<>? s e)
- (<>? s n) (<>? s i) (<>? e n) (<>? e i)
- (<>? n i)(<>? f 0)(<>? c 0)(<>? e 0))
-
-
- ((0 1)
- (0 1 2 3 4 5 6 7 8 9)
- (0 1 2 3 4 5 6 7 8 9)
- (0 1)
- (0 1 2 3 4 5 6 7 8 9)
- (0 1 2 3 4 5 6 7 8 9)
- (0 1)
- (0 1 2 3 4 5 6 7 8 9)
- (0 1 2 3 4 5 6 7 8 9)
- (0 1)
- (0 1 2 3 4 5 6 7 8 9)
- (0 1 2 3 4 5 6 7 8 9)
- (0 1 2 3 4 5 6 7 8 9)
- (0 1 2 3 4 5 6 7 8 9))
-